FDL - Nuprl Definition : qinv

Nuprl Definition : qinv

qinv(r) == if isint(r) then <1, r> else let p,q = r in <q, p> fi

clarification:

qinv(r) == if isint(r;tt;ff) then <1, r> else let p,q = r in <q, p> fi

Definitions if b then t else f fi , isint(z;a;b), tt, ff, #$n, let x,y = A in B(x;y), <a, b>

FDL editor aliases qinv

Definitions	if b then t else f fi , isint(z;a;b), tt, ff, #$n, let x,y = A in B(x;y), <a, b>
FDL editor aliases	qinv